formal assumption

formal assumption
формальное допущение

Англо-русский словарь по исследованиям и ноу-хау. . 2015.

Игры ⚽ Поможем решить контрольную работу

Смотреть что такое "formal assumption" в других словарях:

  • Assumption Cathedral — or Dormition Cathedral (Russian: храма Успения Cathedral of the dormition or Успенский собор Uspenski Cathedral) may refer to a number of Cathedral churches consecrated to the Dormition of the Theotokos in the Orthodox tradition and Assumption of …   Wikipedia

  • Assumption Antipolo — Infobox School name = Assumption Antipolo imagesize = 150px motto = Ave Maria Regina ( Hail Queen Mary ) established = 1984 type = Private, Catholic school principal = Sr. Irene Cecile, R.A. city = Antipolo City state = Rizal country = PHI… …   Wikipedia

  • Assumption College (Philippines) — Infobox University name = Assumption College established = 1959 type = Private women s college, Roman Catholic dean (Business) = Sister Josefina Maria Magat location = San Lorenzo Drive, San Lorenzo Village, Makati City, Philippines website=… …   Wikipedia

  • formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction       the abstract study of propositions, statements, or assertively used …   Universalium

  • assumption — as|sump|tion W2S2 [əˈsʌmpʃən] n 1.) something that you think is true although you have no definite proof assumption that ▪ A lot of people make the assumption that poverty only exists in the Third World. ▪ My calculations were based on the… …   Dictionary of contemporary English

  • Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… …   Wikipedia

  • assumption — noun 1 (C) something that you think is true although you have no proof: make an assumption: A lot of people make the assumption that poverty only exists in the Third World. | on the assumption that: I m working on the assumption that the money… …   Longman dictionary of contemporary English

  • Formal scheme — In mathematics, specifically in algebraic geometry, a formal scheme is a type of space which includes data about its surroundings. Unlike an ordinary scheme, a formal scheme includes infinitesimal data that, in effect, points in a direction off… …   Wikipedia

  • formal implication — In a logical calculus, one proposition A formally implies another B if there is a proof starting from A as an assumption and ending with B …   Philosophy dictionary

  • Closed world assumption — The closed world assumption (CWA) is the presumption that what is not currently known to be true, is false. The same name also refers to a logical formalization of this assumption by Raymond Reiter. The opposite of the closed world assumption is… …   Wikipedia

  • Open world assumption — In formal logic, the open world assumption is the assumption that the truth value of a statement is independent of whether or not it is known by any single observer or agent to be true. It is the opposite of the closed world assumption, which… …   Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»